Verifikation digitaler Schaltungen
Projektleitung und Mitarbeiter
Kebschull,U. (Dipl. Inform.), Rosenstiel, W. (Prof. Dr. rer. nat.), Schubert,
E. (Dipl. Ing.)
Forschungsbericht :
1990-1992
Tel./ Fax.:
Projektbeschreibung
Der formale Beweis der Korrektheit des Entwurfs
eines mikroelektronischen Schaltkreises ist neben der Simulation ein
wesentlicher Bestandteil im automatisierten Entwurf digitaler
Systeme. Auf der Automatentheorie basierende Ansaetze scheitern jedoch
bei groesseren Entwuerfen an der Komplexitaet der
Automatendarstellung. Es wurden deshalb alternative Darstellungen
boolscher Funktionen untersucht. Basierend auf der
Reed-Muller-Transformierten einer boolschen Funktion wurden die
funktionalen Entscheidungsdiagramme (Functional Decision Diagram, FDD)
entwickelt. Sie vereinen die Effizienz der graphischen Darstellung
durch binaere Entscheidungsdiagramme (BDD) mit der geringen
Komplexitaet der Reed-Muller-Transformierten. Weitere
Anwendungsgebiete der FDD sind die schnelle Reed-Muller-Transformation
sowie die Minimierung mehrstufiger Logik.
Mittelgeber
Publikationen
Kebschull, U., Rosenstiel,
W., Schubert, E.: Multilevel logic synthesis based on functional
decision diagrams. - EDAC 1992.
INDEX
HOME
SUCHEN
KONTAKT
LINKS
qvf-info@uni-tuebingen.de(qvf-info@uni-tuebingen.de)
- Stand: 15.09.96
Copyright Hinweise